翻訳と辞書 Words near each other ・ Pregolya River ・ Preference regression ・ Preference relation ・ Preference revelation ・ Preference test ・ Preference theory ・ Preference utilitarianism ・ Preference-based planning ・ Preference-rank translation ・ Preferential alignment ・ Preferential attachment ・ Preferential bidding system ・ Preferential block voting ・ Preferential concentration ・ Preferential creditor ・ Preferential entailment ・ Preferential hyperacuity perimetry ・ Preferential looking ・ Preferential motor reinnervation ・ Preferential Payments in Bankruptcy Amendment Act 1897 ・ Preferential trading area ・ Preferential voting ・ Preferentialism ・ Preferred ・ Preferred Bank ・ Preferred charge ・ Preferred Executable Format ・ Preferred frame ・ Preferred Hotel Group ・ Preferred IUPAC name Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Preferential entailment ： ウィキペディア英語版 Preferential entailment Preferential entailment is a non-monotonic logic based on selecting only models that are considered the most plausible. The plausibility of models is expressed by an ordering among models called a preference relation, hence the name preference entailment. Formally, given a propositional formula $F$ and an ordering over propositional models $\backslash leq$, preferential entailment selects only the models of $F$ that are minimal according to $\backslash leq$. This selection leads to a non-monotonic inference relation: $F\; \backslash models\_\backslash text\; G$ holds if and only if all minimal models of $F$ according to $\backslash leq$ are also models of $G$.〔.〕 Circumscription can be seen as the particular case of preferential entailment when the ordering is based on containment of the sets of variables assigned to true (in the propositional case) or containment of the extensions of predicates (in the first-order logic case).〔 ==See also== * Rational consequence relation 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Preferential entailment」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.